Buy Used and New Domenico Cantone Books

An Introduction to the Technique of Formative Processes in Set Theory

by Domenico Cantone, Pietro Ursino

ISBN 13: 9783319747774

Format: Hardcover (168 pages)
Publisher: Springer
Published: 23 Mar 2018

Save for later

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

by Domenico Cantone,Eugenio Omodeo,Alberto Policriti

ISBN 13: 9780387951973

Format: Illustrated (432 pages)
Publisher: Springer
Published: 26 Jun 2001

Save for later

Set Theory for Computing: From Decision Procedures To Declarative Programming With Sets (Monographs In Computer Science)

by Domenico Cantone,Eugenio Omodeo,Alberto Policriti

ISBN 13: 9781441929051

Format: Paperback (428 pages)
Publisher: Springer
Published: 21 Sep 2011

Save for later

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

by Jacob T. T. Schwartz,Martin Davis,Domenico Cantone,Eugenio G. Omodeo

ISBN 13: 9781447160182

Format: Paperback (436 pages)
Publisher: Springer
Published: 06 Sep 2014

Save for later

An Introduction to the Technique of Formative Processes in Set Theory

by Domenico Cantone,Pietro Ursino

ISBN 13: 9783319892832

Format: Paperback (168 pages)
Publisher: Springer
Published: 04 Jun 2019

Save for later